
#ifndef __RTTHREAD_SCHEDULER_H__
#define __RTTHREAD_SCHEDULER_H__


#include "rt_def.h"
#include "rt_config.h"
#include "rt_thread.h"

void rt_system_scheduler_init(void);
void rt_system_scheduler_start(void);
void rt_schedule(void);
#endif  /*__RTTHREAD_SCHEDULER_H__*/